Combinatory categorial grammar